more on this theme | more from this thinker | more from this text
Full Idea
Gentzen thought that his natural deduction gets at the heart of logical reasoning, and used the sequent calculus only as a convenient tool for proving his chief results.
Gist of Idea
Natural deduction shows the heart of reasoning (and sequent calculus is just a tool)
Source
report of Gerhard Gentzen (Investigations into Logical Deduction [1935]) by Ian Hacking - What is Logic? §05
Book Ref
'A Philosophical Companion to First-Order Logic', ed/tr. Hughes,R.I.G. [Hackett 1993], p.231